Boolean Connexive Logic and Content Relationship
نویسندگان
چکیده
Abstract We present here some Boolean connexive logics (BCLs) that are intended to be counterparts of selected Epstein’s content relationship (CRLs). The main motivation for analyzing such is explain the notion connexivity by means relationship. article consists two parts. In first one, we focus on syntactic analysis axiomatic systems. starting point our considerations will smallest BCL and CRL. part, also identify axioms that, together with principles, lead contradiction. Moreover, principles equivalent theses, but not theses propose. second semantic provided relating- set-assignment models. define sound complete relating semantics all tested indicate alternative models BCL, which considered CRLs. provide a BCLs, giving thus natural formalization understood either as sharing or inclusion.
منابع مشابه
Connexive Modal Logic
Connexive logic is a neglected direction in non-classical logic. In the present paper, first an axiomatic system of connexive propositional logic is presented. This logic, C, is shown to be sound and complete with respect to a class of relational models. It seems that this semantics is, in fact, the first known intuitively plausible interpretation of a system of connexive logic. The presentatio...
متن کاملDialogical Connexive Logic
Many of the discussions about conditionals can best be put as follows: can those conditionals that involve an entailment relation be formulated within a formal system? The reasons for the failure of the classical approach to entailment have usually been that they ignore the meaning connection between antecedent and consequent in a valid entailment. One of the first theories in the history of lo...
متن کاملWhen Conditional Logic met Connexive Logic
Conditional logic and connexive logic are two theories whose goal is the correct formalization of the way conditionals (i.e. sentences of form if A, C) are used in natural language. However, both approaches are never combined in the literature. I present here the first formal system which allows modeling the ideas behind these two approaches in a unique framework. Furthermore, the resulting sys...
متن کاملBoolean Algebras and Logic
In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone’s representation theorem. Some special classes of Boolean algebras are also concerned with and, in particular, the relations of Boolean algebras to propositional logic and to set theory are studied in more details. We mention here that all what we do for propositional logic can also be extende...
متن کاملBoolean reasoning - the logic of boolean equations
Interestingly, boolean reasoning the logic of boolean equations that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you find it. But, when you feel hard to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2023
ISSN: ['0039-3215', '1572-8730']
DOI: https://doi.org/10.1007/s11225-023-10058-1